منابع مشابه
Enhancing Patching Performance Through Double Patching
Patching is an efficient bandwidth-sharing technique for video-on-demand systems. Its performance, however, has limitation: as the time distance to the last regular multicast enlarges, the patching cost for new requests increases and eventually, a new regular multicast must be scheduled to balance the cost. In this paper, we address this problem by proposing a new technique called Double Patchi...
متن کاملPlanning and Patching Proof
We describe proof planning: a technique for both describing the hierarchical structure of proofs and then using this structure to guide proof attempts. When such a proof attempt fails, these failures can be analyzed and a patch formulated and applied. We also describe rippling: a powerful proof method used in proof planning. We pose and answer a number of common questions about proof planning a...
متن کاملTractability of Theory Patching
In this paper we consider the problem of theory patching, in which we are given a domain theory, some of whose components are indicated to be possibly awed, and a set of labeled training examples for the domain concept. The theory patching problem is to revise only the indicated components of the theory, such that the resulting theory correctly classiies all the training examples. Theory patchi...
متن کاملPatching up the myocardium.
Cell therapy, while retaining promise for cardiac regeneration, has thus far been encumbered by variable and unpredictable fates of delivered cells. In a recent issue of PNAS, Godier-Furnémont and colleagues describe a new strategy to regulate cell delivery by promoting specific migration and growth factor secretion behaviors of implanted cells from a decellularized matrix via biochemical preco...
متن کاملStochastic Patching Process
Stochastic partition models tailor a product space into a number of rectangular regions such that the data within each region exhibit certain types of homogeneity. Due to constraints of partition strategy, existing models may cause unnecessary dissections in sparse regions when fitting data in dense regions. To alleviate this limitation, we propose a parsimonious partition model, named Stochast...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 1999
ISSN: 0021-8693
DOI: 10.1006/jabr.1998.7574